1. Compuer science logic: 10th international workshop, CSL 96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996: selected papers
پدیدآورنده: Dirk van Dalen, Marc Bezem )eds.(
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer logic - Congresses
رده :
QA
76
.
9
.
L63
W67
1996
2. Computer science logic : 10th International Workshop, CSL'96 : Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers
پدیدآورنده: Dirk van Dalen, Marc Bezem )Eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
1258
3. Computer science logic : 10th international workshop, CSL '95, Annual Conference of the EACSL, Utrecht, The Nutherlands, September 1996: selected papers
پدیدآورنده: / Dirk Van Dalen, Marc Bezem (eds.)
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Computer science - Congresses,Logic, Symbolic and mathematical - Congresses
رده :
QA75
,.
5
.
W62
4. Foundations of set theory
پدیدآورنده: Abraham A. Fraenkel, Yehoshua Bar-Hillel, Azriel Levy; with the collaboration of Dirk van Dalen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Set theory,، Mathematics -- Philosophy
رده :
QA
248
.
F72F68
1973
5. Foundations of set theory
پدیدآورنده: Abraham A. Fraenkel, Yehoshua Bar-Hillel [and] Azriel Levey. With the collaboration of Dirk van Dalen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics-- Philosophy.,Set theory.,Mathematics-- Philosophy.,Set theory.
رده :
QA248
.
F753
1973
6. Logic Colloquium '78
پدیدآورنده: / edited by Maurice Boffa, Dirk van Dalen, Kenneth McAloon. -
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical--Congresses
رده :
QA
,
9
,.
A1
,
L63
,
1978
7. Logic and Structure
پدیدآورنده: Dirk Van Dalen
کتابخانه: كتابخانه مركزی دانشگاه شهركرد (چهار محال و بختیاری)
موضوع: Logic, symbolic and mathematical
8. Logic and Structure
پدیدآورنده: / Dirk van Dalen
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع:
9. Logic and Structure
پدیدآورنده: / Dirk Van Dalen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Logic Circuits.,Logic Design.
رده :
TK7888
,.
4
.
D
3
10. Logic and structur
پدیدآورنده: / Dirk van Dalen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Logic, Symbolic and mathematical,Electronic books
رده :
E-BOOK
11. Logic and structur
پدیدآورنده: / Dirk van Dalen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical.
رده :
QA9
,.
D16
,
1994
12. Logic and structure
پدیدآورنده : / Dirk van Dalen
موضوع :
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
13. Logic and structure
پدیدآورنده: Dalen, D. van )Dirk(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
D16
1994
14. Logic and structure
پدیدآورنده: Dirk van Dalen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical
رده :
QA9
.
D35
2013
15. Logic and structure
پدیدآورنده: Dalen, Dirk Van
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
D16
1983
16. Logic and structure
پدیدآورنده: Dirk van Dalen.
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: mathematical logic
رده :
QA
9
.
D3
,
L6
17. Logic and structure
پدیدآورنده: Dirk van Dalen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
D25L6
2004
18. Logic and structure
پدیدآورنده: / Dirk van Dalen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع:
19. Logic and structure
پدیدآورنده: / Dirk van Dalen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical.
رده :
QA9
.
D16
1997
20. Logic and structure
پدیدآورنده: Dirk van Dalen.
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: mathematical logic
رده :
QA
9
.
D3
,
L6
